Consistency proofs in model theory: A contribution to Jensenlehre
نویسندگان
چکیده
منابع مشابه
Propositional Consistency Proofs
Partial consistency statements can be expressed as polynomial-size propositional formulas. Frege proof systems have polynomial-size partial self-consistency proofs. Frege proof systems have polynomialsize proofs of partial consistency of extended Frege proof systems if and only if Frege proof systems polynomially simulate extended Frege proof systems. We give a new proof of Reckhow’s theorem th...
متن کاملExtensions to Study Electrochemical Interfaces - A Contribution to the Theory of Ions
In the present study an alternative model allows the extension of the Debye-Hückel Theory (DHT) considering time dependence explicitly. From the Electro-Quasistatic approach (EQS) done in earlier studies time dependent potentials are suitable to describe several phenomena especially conducting media as well as the behaviour of charged particles in arbitrary solutions acting as electrolytes. Thi...
متن کاملEfficient Consistency Proofs on a Committed Database
A consistent query protocol allows a database owner to publish a very short string c which commits her to a particular database D with special consistency property (i.e., given c, every allowable query has unique and well-defined answer with respect to D.) Moreover, when a user makes a query, any server hosting the database can answer the query, and provide a very short proof π that the answer ...
متن کاملA consistency contribution based bayesian network model for medical diagnosis
This paper presents an effective Bayesian network model for medical diagnosis. The proposed approach consists of two stages. In the first stage, a novel feature selection algorithm with consideration of feature interaction is used to get an undirected network to construct the skeleton of BN as small as possible. In the second stage for greedy search, several methods are integrated together to e...
متن کاملRobinson's Consistency Theorem in Soft Model Theory
In a soft model-theoretical context, we investigate the properties of logics satisfying the Robinson consistency theorem; the latter is for many purposes the same as the Craig interpolation theorem together with compactness. Applications are given to H. Friedman's third and fourth problem. Introduction. No extension of first order logic is known which is axiomatizable and/or countably compact, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1978
ISSN: 0003-4843
DOI: 10.1016/0003-4843(78)90005-0